This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suiteIt addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suite